[1] 崔 銀惠, 尾崎 弘幸, 中原 早生, 木下 佳樹, 青木 祐浩, 吉坂 圭一, 三根 博史, 清水 徹, "組込みネットワークシステムの形式モデル指向テストに向けて", ソフトウェア信頼性研究会第6回ワークショップ(FORCE2010)論文集, pp. 4--17, 2010年.
Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.
ここのリストで表示される文献は，SEL@KIT在籍者に関連するもののみになります．